True ∧ {=}
